Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
261	Visible Type Application Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed University of Pennsylvania {eir,sweirich}@cis.upenn.edu Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2016-01-08 10:06:08 Type theory HindleyMilner type system Generalized algebraic data type Type inference Type class System F Unification Type system Glasgow Haskell Compiler Haskell Monad Principal type
262	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
263	Review: Constructors Initial Questionnaire – The Results Are In! • 56% of all s tudents in CS15 Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-10-01 14:30:09 Object-oriented programming Method Type theory Polymorphism Method overriding Inheritance Is-a Constructor Java Class Type signature
264	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
265	111 Documenta Math. On the Structure of Covers of Sofic Shifts Rune Johansen Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2011-04-22 12:51:16 Combinatorics on words Symbolic dynamics Graph operations Graph theory Ergodic theory Subshift of finite type Line graph Bipartite graph Graph Sofic Shift space Bipartite half
266	Inferring Personality of Online Gamers by Fusing Multiple-View Predictions Jianqiang Shen, Oliver Brdiczka, Nicolas Ducheneaut, Nicholas Yee, and Bo Begole Palo Alto Research Center, 3333 Coyote Hill Road, Palo Alto, CA Add to Reading List Source URL: www.nickyee.com Language: English - Date: 2013-09-11 22:36:43 Personality traits Personality Personality psychology Openness to experience Social networking service Extraversion and introversion Personality type Trait theory MyersBriggs Type Indicator Agreeableness
267	Grundzüge der Wirtschaftsinformatik Introduction to Business Information Systems GWI-HT2009 – Unit 5: Introduction to Python (2) Univ.-Prof. Dr. Martin Hepp Professur für Allgemeine BWL, insbesondere E-Business Add to Reading List Source URL: www.ebusiness-unibw.org Language: English - Date: 2016-07-26 08:52:52 Data types Type theory Variable F Printf format string C++ classes Python syntax and semantics
268	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
269	Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-11-09 16:34:04 Homotopy theory Model category Homotopical algebra Homotopy Higher category theory Topology Stable homotopy theory Homotopy group Homotopy type theory
270	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP

UPDATE